MIT Computer Science and Artificial Intelligence Laboratory - PDFSEARCH.IO - Document Search Engine

MIT Computer Science and Artificial Intelligence Laboratory
Results: 422

#	Item
91	Guide to the Collection of Massachusetts Institute of Technology Computing Projects Subject Collection Dates: , bulkExtent: 9 linear feet in 8 boxes Add to Reading List Source URL: archive.computerhistory.org Language: English - Date: 2008-01-04 17:28:27 Computer hardware Whirlwind TX-0 Compatible Time-Sharing System MIT Computer Science and Artificial Intelligence Laboratory Digital Equipment Corporation PDP-1 Lincoln Laboratory TX-2 Computing Classes of computers Massachusetts Institute of Technology
92	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 14, 2012 Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2012-09-18 11:16:47 Thread Java Platform Standard Edition Java Lock Aeolus Fork Parallel computing Exception handling Computing Concurrency control Concurrent computing
93	Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Software engineering Theoretical computer science Notation Programming language ALGOL 68 Software development process Agile software development Algorithm Abstraction Formal methods Computing Software development
94	Playing Games in Many Possible Worlds Matt Lepinski∗ , David Liben-Nowell† , Seth Gilbert∗ , and April Rasala Lehman‡ (∗ ) Computer Science and Artificial Intelligence Laboratory, MIT; Cambridge, MA 02139 († Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-09-28 06:21:08 Bayesian game Nash equilibrium Epsilon-equilibrium Zero–sum game Strategy Stochastic game Correlated equilibrium Outcome Best response Game theory Problem solving Economics
95	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRMIT-LCS-TR-994 July 21, 2005 Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2008-08-05 15:15:23 Fault-tolerant computer systems Data synchronization Transaction processing Time Byzantine fault tolerance Theory of computation Transmission Control Protocol Timestamp Replication Computing Data Information
96	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 29, 2010 Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2010-09-29 17:43:14 Computing Audit trail Computer security Computer science Women in technology Security Barbara Jane Liskov
97	αRby—An Embedding of Alloy in Ruby September 20, 2013 Aleksandar Milicevic Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-09-20 18:07:45 Subroutines Parallel computing Alloy Z notation MIX Main function Ruby D Folder Computing Software engineering Computer programming
98	From Natural Language Specifications to Program Input Parsers Tao Lei, Fan Long, Regina Barzilay, and Martin Rinard Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-05-28 12:20:40 Compiler construction Markup languages Bottom-up parsing Syntax Top-down parsing Compiler-compiler Natural language processing Programming language HTML Computing Parsing Linguistics
99	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRMarch 30, 2015 Add to Reading List Source URL: dspace.mit.edu Language: English - Date: 2015-04-01 02:19:41 Artificial intelligence Infrared imaging Kinect Webcams Quantitative analyst Object-oriented design Humanâ€“computer interaction Computing Computer hardware
100	Clustering with Normalized Cuts is Clustering with a Hyperplane Ali Rahimi1 and Ben Recht2 1 MIT Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:02 Multivariate statistics Linear algebra Data analysis Singular value decomposition Spectral clustering Cluster analysis Support vector machine Hyperplane Eigenvalues and eigenvectors Statistics Algebra Mathematics

UPDATE